Attention to Detail: Norms for Proof Evaluation in a Summer Mathematics Program

نویسندگان

  • Cody L. Patterson
  • Xiaowen Cui
چکیده

In this study, we explore the norms by which students and undergraduate mentors in a summer mathematics program evaluate proofs of theorems in number theory. By utilizing cognitive interviews during which students and mentors evaluate number theory proofs written by a hypothetical student, we find that for students as well as mentors, “rigor” is a dimension of mathematical acceptability of proofs distinct from, though related to, proof validity. Additionally, we find that both students and mentors frequently adhere to strict unwritten norms that govern how they believe proofs should be constructed and presented, and that these norms may be more rigid than the intended proof-writing norms of the mathematicians who teach in the summer program. This study suggests some potential challenges associated with the growing practice of asking undergraduate student graders to evaluate proofs written by students in introduction-toproof courses.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Goals, Dimensions, and Design of Program Investigation

If we are keen to boost the process of language learning, we need to study every aspect and component of our course. To this end, we carry out an investigation in which every detail of the course is put under microscope. Assessment of a course is an attempt in which different type of information is gathered systematically in order to study the working of a language instruction program. Certainl...

متن کامل

Proof Theory

Proof theory began in the 1920’s as a part of Hilbert’s program, which aimed to secure the foundations of mathematics by modeling infinitary mathematics with formal axiomatic systems and proving those systems consistent using restricted, finitary means. The program thus viewed mathematics as a system of reasoning with precise linguistic norms, governed by rules that can be described and studied...

متن کامل

A Note on the Descent Property Theorem for the Hybrid Conjugate Gradient Algorithm CCOMB Proposed by Andrei

In [1] (Hybrid Conjugate Gradient Algorithm for Unconstrained Optimization J. Optimization. Theory Appl. 141 (2009) 249 - 264), an efficient hybrid conjugate gradient algorithm, the CCOMB algorithm is proposed for solving unconstrained optimization problems. However, the proof of Theorem 2.1 in [1] is incorrect due to an erroneous inequality which used to indicate the descent property for the s...

متن کامل

Proof - Theoretic Reduction as a Philosopher ’ S Tool

Hilbert’s program in the philosophy of mathematics comes in two parts. One part is a technical part. To carry out this part of the program one has to prove a certain technical result. The other part of the program is a philosophical part. It is concerned with philosophical questions that are the real aim of the program. To carry out this part one, basically, has to show why the technical part a...

متن کامل

Mathematical Proof for the Minimized Stray Fields in Transformers Using Auxiliary Windings Based on State Equations for Evaluation of FEM Results

Stray magnetic field is one of the main issues in design of transformers, since it causes non-ideal behavior of transformers. One of the techniques is usually adopted to mitigate the unwanted stray magnetic field is the use of auxiliary windings creating a magnetic field opposite to the incident one giving rise to the reduction of the total magnetic fields. This paper presents a new mathematica...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2016